Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
941	Outline Introduction Instance Easiness Adaptivity in general Adaptivity in Clustering Coda Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-17 05:11:27 Combinatorics Insertion sort Quicksort Sorting algorithms Order theory Mathematics
942	"SED QUIS CUSTODIENT IPSOS CUSTODES?" Juvenal, Satires, viquoted in "Oxford English" Ranulph Glanville Subfaculty of Andragology Add to Reading List Source URL: www.univie.ac.at Language: English - Date: 1999-07-16 07:33:55 Mathematics Second-order cybernetics Gordon Pask New cybernetics Laws of Form Control theory Ludwig Wittgenstein Autopoiesis Turing test Cybernetics Science Systems science
943	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
944	PDDL+ Planning with Events and Linear Processes Amanda Coles and Andrew Coles Department of Informatics, King’s College London, WC2R 2LS UK email: Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-20 09:04:37 Artificial intelligence Invariant Science Emmy Noether Partial-order planning Control theory Economic model Automated planning and scheduling Planning Domain Definition Language Mathematics
945	Considerations on Belief Revision in an Action Theory James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:45:43 Belief revision Knowledge representation Μ operator Modal logic Multiplicative order Proposition Linear temporal logic Logic Science Modular arithmetic
946	Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-08-31 08:53:38 Proof theory Classical logic First-order logic Finite model theory Model theory Logic Mathematical logic Metalogic
947	A∗ Sampling Chris J. Maddison Dept. of Computer Science University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-01-26 08:34:54 Monte Carlo methods Slice sampling Poisson processes Gumbel distribution Gibbs sampling Exponential distribution Estimation theory Order statistic Rejection sampling Statistics Markov chain Monte Carlo Non-uniform random numbers
948	DRA FRONT END FILTER PROJECT Formal Security Policy Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:03 Order theory Function Information flow Static single assignment form Mathematics Filter General topology
949	Bootstrapping Endpoint Zhouping Li1 1 2 Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:19 Estimation theory Econometrics Summary statistics Bootstrapping Resampling Maximum likelihood Consistent estimator Asymptotic theory Order statistic Statistics Statistical inference Statistical theory
950	ARTICLE IN PRESS Neurocomputing–274 www.elsevier.com/locate/neucom Lattice duality: The origin of probability Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2005-10-25 03:31:06 Lattice theory Order theory Algebraic structures Distributive lattice Lattice Boolean algebra Distributivity Ideal Duality Mathematics Abstract algebra Algebra

UPDATE